perm filename AMMI8.360[360,GF] blob
sn#784672 filedate 1985-02-07 generic text, type T, neo UTF8
{`d¬ 4~.23~-F(⊂≥l↔_⊂_n&(0]V ⊂_O∩(⊗∞Fx#QEnxπ→n&λ<YMvp:λw⊂0↑&T GβaX
E%h↓WE`α⊗`UPβ⊗@eH∧⊗ ⊂α⊗0⊂α∃`0_α∃` α∃@0 α∃ 0(α∃ 0αU08α∀`0@α∀au⊂λ∀@ Pα∀ 0Pα∀0Xα∀ `αS`0hα∪@0pα∪ @pα∩A⊂@¬RA⊂@¬Q(D⊂∂λβ1XβDj⊃(*↓↓ (*↓↓0(*↓↓@ )A!@ )A↓P )A↓P )A↓@()↓!0()↓↓0()↓↓⊂0)∧J⊃⊂(A↓0((A↓@ (A↓P (↓!P (↓↓` (↓↓` (↓↓` 'A!P('A↓P('A↓P 'A↓0('↓! (%¬i! "Qλ1p⊂εc0p∧↓@%(ε@`5_βA @λ↓T@PPβ∀PhαS`PpαS@Q↓S Qλ↓S A⊂↓SA_↓SA_↓∩`A ↓∩`DPαR@DPα∩@DPα∧`$Pα∧`$Pα∧@4Pα∧@4Xα∧4Xαβ`4`αβ 4hαα@DpαA@UεTA∧("⊃∧α⊂
F`q⊂(E
@ ∧AJ@ ¬A*@ ε↓
0(εA
0 π↓
0 πA
0 πA
(πA
λ↓
λ↓
λ↓
⊂(πA*⊂ λ↓
⊂ λ↓
⊂ πA*(πA
πA* πA
π↓ p(εA)p εA)p ε↓)p ¬↓I`(∧↓I!0%∧hT "GD↓X
AbuλU@PαU@`↓U@`↓T`Ph↓∀`@p↓∀`@0↓↓@%_α↓@ 0↓∀@P(↓A@%⊂α↓@%⊂α↓ 5⊂ε∀!Uλα↓ 5λα↓@%λα↓@%αA 00↓∀@0↓↓`%αβ@5αβ@$xαC 4xαβ 4xαβDxαα`TpαBtP∩Bt("⊃CQx
F`q0(EJ@ ∧A*@ ¬@j@ ¬@j0(εJ0 ε@J0 ε@J0 β@P⊂)↓ P_α@J βJ α@j α↓
⊂h(C
⊂ α@j⊂ α@j(α@j βJ βJ 'A)p 'A p '↓) h%β(T #GD↓X
CA0↓∃!P_↓T`p(α 5⊂αB@eαC TxαC@TpαD4hαD 4hα∧@4`α∧`4`α∧`$Xα∩`DPαR@DPα∩@@h¬R@@h¬R@Aλα∩@Aλα∩@Aλα∩`@xαR`@xα∪@pα∪ @Xβ∪@P8∧∀↓P⊂↓∀A⊂ ↓⊃(D@⊃I#1XβC@`(C@`*↓!0(*↓↓@ *↓↓@ )A!0()A↓@ )A↓@ )A↓@ )↓!0()↓↓@ )↓↓@ )¬
⊃((A↓@ (A↓@ (A↓@ (↓!0((↓↓@ (↓↓@ (↓↓@ 'A!0('A↓@ 'A↓@ 'A↓@ '↓!0(%β@`%β@`"Q ⊃_
Fc08ε∀!E αUE α∀`U_α∀`E_α∀@U⊂α∀@E⊂α∀ Uλα∀ Eλα∀Uα∀Eα∪`Txα∪`Dxα∪@TPε∩AD("∩BQH
Fa X*αk ,↓ +A*p +A
p +↓*` +↓
` *A*P *A
P *↓*@ *↓
@ %@@`(%↓P %↓P %`P %`@ %B)@0"Q 2_∩Fc08ε↓A%λε↓A% αB`e αβE αα@E_αB E_αα 5_αα5_α↓@E⊂αA E⊂α↓ 5⊂α`e⊂α@uλα@ 0λαT @λ↓@`EλβAEλβ↓ UαBEαα Uαα@Eαα@TxαB`DxαβDxαβTxαβ DpαC TPε↓a4Pε↓a4("∪β↓P
F`p`(C
@(*↓
@ )A*0 )A
0 )↓* )↓
(A*⊂ (A
⊂ (↓!0⊂(↓↓@⊂(↓↓0_(↓↓0_'A! _'A↓0_'A↓ 'A↓⊂ '↓ `8%¬)!("Q RP⊗εc08∧∧a¬λ∧∧A∃ αD e αD U αDe_βC@u_↓ @hβT` λαβ λα∀` λαβ0λα∀@0λαα`0λαT@ ⊂αB@ ⊂α∀@ _αα 0⊂α∀@ _αα0_α∀ 0_αα _αT α↓`0_α∀ αA 0 α∀ (α↓ (α∀0(α↓0 αT 0α`0(α∀ 0α@00α∀ 0α@ 8α∪`00∧↓@Tx↓α`8α∪` @αBDp↓BP@α∪ @@ααTP¬↓ 0(ε∩A 0↓↓!D("∪D2(
F`p@¬αJ⊂@¬αJ@0εj@0εJ@0εJ0@¬j0⊂↓↓↓ ⊂)@@ (∧@J0⊂↓A↓⊂⊂)`0(β@j ⊂αAp⊂)@P β@J ⊂αA `⊂(@`` α@j⊂⊂βA @⊂(@A αJ⊂⊂∧↓ 0⊂(a⊂ ↓j⊂¬↓ ⊂⊂(A0 @J⊂¬A⊂⊂'@a08'@AP('@AP('a` &A↓` %αA@⊂%αA@⊂"Q qh∂Fc0h∧U!U_β↓ Uλβα EαCDxαC@DpαC`DhαDDhα∧@D`α∧`DXαD`DXα¬DXα¬DPαD`TPα¬DPα¬DPα∧`TPα∧`DPα∧@TPα∧@DPα∧ DXαβ`TXαβ@T`αβThαα TpαA dxεT!∧("∀βQx
F`q⊂(E
@ ∧A*@ ¬↓*@ ¬A
0(¬A
0 ε↓
0 ε↓
0 ¬A* (¬A
¬A* ¬↓* ∧↓J⊃λ(Cj⊂ (A
((↓
(↓ p('A p 'A `(%β `"Q
⊃h∂Hc0h∧U!U_β↓ Uλβα EαCDxαC@DpαC`DhαDDhα∧@D`α∧`DXαD`DXα¬DXα¬DPαD`TPα¬DPα¬DPα∧`TPα∧`DPα∧@TPα∧@DPα∧ DXα↓ P(αR`@ β@`T`α@0⊂α Thα βS@` β∪aP(↓∀! 0↓⊗0(↓V0(↓V0 ↓V@⊂α⊗↓∃@∧⊗ ePα⊃(E⊂∞Gc1XβD*⊃_*↓↓(*↓↓ *↓↓0 )A!0 )A↓@ )A↓@ )A↓0()↓!0 )↓↓0()↓↓⊂0)↓p0(D*⊂p(Ap (A↓ (↓!⊂_(↓↓ _(↓↓ _(↓↓ _'A!⊂ 'A↓ 'A↓ αIp ¬↓0_'↓! ↓i `∧α `∧A(T )F#1X
Cp ↓∀a0⊂↓T@P(β∀ @@αT@Pα∀0`↓S`0h↓∪`0h↓∪`0h↓∪`DxαSa∃¬T!E_¬UA∃PαV`D`↓β@4`↓β@4`↓β@4X↓C DX↓C 4Xαα`4XαB DP↓@ @(αR@0⊂¬R@ (βQ(E
G#1X↓F AH&↓@@ αA)0(β↓` %Ap β@i0_βA p_%a ∧i _∧↓↓⊂⊂%A⊂ ∧@I ⊂∧↓!⊂⊂*↓
@ *↓
0()A
0 )A
()↓
)↓
⊂((A
⊂ (A
(%CI0p"Q
QX∂εc0λ¬AA∀X¬AA∀pαC4pαβ $pαβ $hαC4hαβ $hαβ $hαβ $`αC4`αβ $`αβ $`αβ $XαC4Xαβ $Xαβ $Xαβ $PαC4Pαβ $Pαβ $Pαβ4Pαβ$Pαα`4Pαα@4Xαα4`α↓Th¬S`d("∃CAh
F`P¬α P¬α P πA P π@IP πiP ε@iP(εI` ¬@i` ¬i` ¬I` ∧@i` ∧i` ∧I`(βip α@ip α@Ip αip αIp ↓@ip(@j @J8(↓J((↓* (j⊂⊂"Q
r8∀εc0¬a@0∧∩A _ε↓A∧`αα`@`α∪@Xαβ4`αα`@X↓S@Xαα`$`αα@PP↓S@Hβα 4`αα `H↓∪@@βB4`αA` λαA`$hα↓@0⊂α↓@4hα↓ 0_α↓ 4hα↓ α↓ $hα↓0 α↓4hα↓ (α↓$hα`0(α`4hα@00α@4hα@ 8α@$hα 08α 4hβBtpβα dpαB@TpαB@Tpαα`Dp↓C4p↓C4p↓β $("⊗∧"
F``XβBJXβBJ0(ε↓*@ εj@(¬jP ∧@jP(β@j` βj`(αjp ↓@jp(@k8,↓K⊂ ,A+0+B
`_↓↓
P_↓A*@_αA
0_β↓* _∧↓*⊂_¬↓
_¬A)p_εA P(εA) P∧αi P∧αhT ,GβaX
@↓ P∧∩A P∧∪ @pαS Ph↓S@@`↓S@PX↓∪`@P↓S`@H↓S`P8↓T@0↓T@(↓TP ↓∀ @_↓T Pλ↓T@u⊂β∀@U⊂αT@E⊂α∀@EλαT Eλα∀ EαS↓D`ε⊃(EP∞πC1X∧¬
⊃((AA⊂((@a0((@a ((a ((a⊂((A⊂((A((@p(,A(+A*`(*A*@()A* (∧J⊂(∧@J(∧@j ¬ip(∧@i`(¬iP(¬↓ @(¬↓ 0(∧↓i! %¬λT 0DBAλλA@P⊂↓∪a4pα@dhα↓T`α↓ DXα↓@DXα↓@DPαA TPα↓@DPα↓@DPα↓@DPα↓ P⊂↓∩@@(α`$Pα↓ @_↓∩@@ α@@4X↓@@pλ↓Raλβ∪ @ α⊃(F⊂π∧β1X↓↓i@8'↓ ` '↓ P(&A P &A @(&↓⊂(&αi@0↓↓ 0(α@i0 βi0 βi0 βi (αA β↓ β↓ β↓ αA αA α↓ α↓ 0_↓↓)0@&A(T 1CB↓λλA`dx∧S@P⊂↓S @_α∪@ α∩`P(↓∩`DPαR@DPα∩@DPα∩@@@↓∩@@8↓R@@0↓R`@_α∪↓∀hβ⊃(F E#1Xε↓j`8,↓ ,↓
p(+A
p +A
`((↓ ⊂ 'Bi` ↓↓IP α↓)@ αA 0 β↓ 0 β↓ (αA) β↓ β↓ β↓ αA ⊂%↓P ↓@I αA0⊂%↓@(↓i0_↓↓`⊂_%B⊂0&A@ "QPpλ∧"⊂8β∪a∀pα@`$hα↓ $`α↓@$Xα↓@4Xα`TPε∩A∀Pα∩@DPα∩@@@↓∩@@8↓R`00↓R`@_α∪↓∀pαQ(F0 ED1XεA*`8*B
@ A
@ ↓J@ )A*0 )A
0 'BipX)↓
)↓
)↓
⊂((A
⊂ (A
⊂ (↓* (↓
(↓
_'A p '@i0⊂↓i 8%↓i 0%AλT 3D"!HλA`P⊂↓∀↓4xα@dpα↓Thα↓ D`α↓@D`α↓@DXαA TXα↓@DXα↓@DXα↓@DXα↓ TXα↓ DXα↓ DXα↓T`↓@@t`¬S@@λα∀`E⊂αT@DX↓↓ DPα`DPα@DP∧R`d("~αA0
F`@8'↓j (↓
'A)p 'A p '↓)` ↓↓)` Ai`8↓↓ P8↓A P0α↓ P(αA P β↓ @(αA)@ β↓ @ β↓ @ αA)0(αA0⊂%A` ↓@I0 αA 0⊂%AP ↓@i (αA _%↓p8%@A⊂("Q
⊂`εFc0H↓∀@E⊂α∀`$8αS T`βR`0⊂↓R` ⊂α∩@0⊂α∩@ _α∩@ ⊂αS@Dpα∪ Thα∪ @⊂↓∪P⊂↓∪@_↓∪@⊂↓S@λ↓S dpα⊃(FPλD$1XπJp +A⊂#A* (AJ_A p_↓↓ `_↓A `⊂α↓ `⊂α↓
0()A
0 )A
()↓
)↓
⊂((A
⊂ (A
((↓ 0⊂↓A A @i 8%A(T 5DbQX
AtpβTEα∀DxαS`Dxα∪`DpαS@@0α∪@@ βS@@_∧∪ P⊂↓@@Dhα@0 ↓∪ @λ↓S t`βS↓∀`α T`α`DXα@`@_↓∩`@ α`$Xα↓@_↓∩`@ α@4PαA@λ↓R@@0β∩` @α⊃(F`¬αC1X↓AiP8'A p 'A `('↓ ` '↓ P(&A P &A @(&↓ @ &↓ 0(%A 0 %A (↓I ↓@I ↓@I ↓i @i00&↓λT 6H$1λλ@@@(αA@T`α@a_∧∩`pλ↓@`@λ↓@`DP↓@ p βADP↓@`(β↓ DP↓@P0αA@DP↓@P0αA@DhαA@P0αS @8α↓`Dhα↓`@8α∪ @8α↓@T`αA@P0α`$`α↓`@8α`$`α↓`@0α@`$`α↓`@0α`4XαA@P0α@4Xα↓`@@βS H↓α@T("≠Ba@λD αA)@(↓B 08@`0 %`⊂8α↓ ⊂↓↓@P %@ (β↓ ⊂↓↓ ` &A `(&Ap &Ap &A`(&↓ ` ↓@I@ βA0⊂&↓`(↓@I@ β↓0_%A ` ↓i0 ∧↓i@⊂¬↓(T 7Dα!λλA`dx∧S@P⊂α∪ @(α∪@0α∩`P8↓R`@@↓R@P8α∩@@@α∩@@@α∩@@@α∩@@8α∩@@8α∩@@0α∩@@(α∩`@_α∪↓∀hβ⊃(G Dc⊃λα@`@('↓ ⊂@&B@ &@@⊂(α@i@_A`_&@ βi@⊂↓↓`_'A P 'A` 'A` 'A` '↓ P '↓` '↓P '↓P &A@ (&BiP A)P &↓)@ &↓ @ %A) @%αλT 8Dα!HλA@P_↓∪`pλ↓S@@⊂β∪ @ αS@(α∩`@0α∩`@0α∩@P(αR@@0α∩@@0α∩@@0α∩@@(αR@@(α∩@@(α∩@@ αR`0⊂βRa4hα E⊂α∀ Uλα∀ Eλα∀Th¬∪!$("≤AqλλD α↓ @(↓↓I0p%@@⊂0A _A 0⊂%@ (%@ &A)P &A P &↓)@ &↓ @ %A)0 &HT 9Cb⊃λλA`dx∧S@@ ↓S@ (α∪ 0(α∪ 00↓∪ dh∧SA∀x∧T tX↓α4Pα↓`4Pα↓`4P↓B4X↓A D`¬∪ t("≥↓@`F p⊂(↓
'A)p 'A p '↓) `%β ` &A)P &A P &↓)@ &↓ @ %A @⊂%AP⊂%A@_%A0_%A _&↓iP("Q∞Q(D"⊂_αα $`β↓`DX↓@ @0α∩` ⊂α↓ TP↓@@@(α∩@ ⊂αA DP↓@@0α∪@@(αS P(α∪ @0α∪ @0α∪P(α@@$`α↓@@_↓∪@0α`$hα↓P⊂↓S @⊂β@ 4p∧ eα↓D("≥B⊃_λD 0 β@I@0αA 0_A@ %@@ α↓ _↓↓P_%@ (α@i ⊂↓↓`_'↓`_&A `⊂&Ap⊂&A`_&↓ `⊂&↓`_&↓`⊂&A@_&A 'α
"Q∞qP∞∧"⊂_αα 0↓∪`0α↓DX↓@ @(α↓DX↓@@ αADP↓@@@ α↓@4P↓@P α↓@4P↓@@(α↓@4pα↓P0↓S P α↓`$hα↓ @8↓∪ @(α↓@4`αAP0↓∪@(α↓@4`α↓ @0↓∪ @_β↓4hα@p_↓S@p⊂∧∀@(αQ(G@ E"⊃λαA 0(&B⊂0&↓ 0A @⊂α↓ %@`@ αI0⊂αA 0⊂αA
⊂((A
⊂ (A
(α@J βI0⊂↓AP_%↓⊂(α@I X↓↓ 0↓α 0 α↓(T <DBAHλ@`@@↓∪`0α∩`0λα↓ DX↓@@ αR@0⊂α↓DP↓@P α∩@ ⊂α↓ Dpα↓ThαADhα↓ Dhα↓ D`αAT`α↓ D`α↓ Dhα`Thα@dp¬∪a∃ α∀`DX↓↓@DPα↓DPα`TP↓@`TX∧∪d("≡B⊃_λD ` α@Ip0↓@i``&C)P_βiP⊂βj@_)@j _(↓ p '`p⊂&@a⊂&`p &β)0p%`0@%@P("Q↓`∂εc08
T"U ααU αα@5 αα@5_αB`%_αβ%_αβ%_αβ%⊂αC%⊂α∀@E⊂α∀ Uλα∀ Eλα∀Uα∀Eα∪`Txα∪`Dxα∪@TPεRAT("#b
FbP⊂/kP .↓+08-@@⊂ -`⊂ ,@` (,`@ ,@P +@`P(+`p *@a *a⊂ *A ()@a0 )a@ (@aP((ap (B '@b 'b⊂(&@b0 &b@ &π 1h%πI!p"Q!h∂Fc0h∧U!U_β↓ Uλβα EαCDxαC@DpαC`DhαDDhα∧@D`α∧`DXα@ `↓@DXα@ `↓@DXαB⊂α∩@Pλλ@ TPαB⊂α∩@@⊂λ@DPα@ `↓ TPα∧`DPα∧@TPα∧@DPα∧ DXαβ`TXαβ@T`αβThαα TpαA dxεT!∧("bqH
Fb⊂⊂-@K _-k⊂ ,↓+(+AJp0+↓j`⊂A*P_↓↓
P⊂↓A
@_↓A
@⊂α↓
0_α↓
0⊂αA
_αA
⊂_β↓
⊂⊂βA
_βA
⊂∧↓ p_∧↓ p⊂∧A `_∧A P ∧A H↓Bi H↓BhT απβaX
AbU∀αU
T!λ↓∪`1↓S`!λ↓⊃`∃↓β %↓β %↓β %λSb$xλSb∀x↓β $p↓C4p↓β $8R`!λ↓∩`!λ↓∩`!λ↓∩bTP∩BTP
Q(@(⊃I#1XβG
⊃`*↓↓@(*↓↓@ *↓↓@ )A!0()A↓@ )A↓@ )A↓@ )↓!0()↓↓@ )↓↓@ )↓↓@ (A!0((A↓@ (A↓@ (A↓@ (↓!0((↓↓@ (↓↓@ (↓↓@ 'A!0('A↓@ 'A↓@ 'A↓@ '↓!0(%α``X%α``X"Qb⊃εc08T#∃λαC@U⊂α∧5⊂α∧5⊂αD%_α∧%_αC`% αβ`% αC@%(α∃ E(αU@E0α∃@5(↓U0h↓∀`0p↓∀@0p↓T 0x↓T0x↓S@A↓S Aα∪0xβ∩c∀PRC∀("↓c⊃X
F`@(∧A)@@βα 0PααI (↓↓0(↓@i _αA α@I ⊂β@`⊂ βI ⊂βA`p⊂)AJ00)A*0()A
0 )↓* )↓
(A*⊂ (A
⊂ (↓* (↓
'A) p%βHT ∧εc1X
BAU εVU@α⊗E(∧T"¬β @λβ∪@`_α`ThαAP(α∪P(α↓@DXαA@@0α∩`@8α↓`DPαA@P0αR@@8α↓`DPα↓`@8α∩@@8α↓@DXα↓ P(αR`@(α↓ T`α↓@_β∪ P⊂α dpπT!∃_α∀`E⊂αS!dhπ⊃(@H
GC1X∧β* h+↓*` +↓ βA `(%↓ ` β↓I0 β↓P(%A` αA 0 αA @(%AP αA 0 αAP %AP αA 0 α↓ @(%A@ αA 0 α↓@(%A@ ↓A)0 ↓A (%A ↓↓)@(A⊂(&CI``'B*⊂ (A
(%CI0p"Q↓!p∂εc0p∧U!u_β↓`Uλβα`EαC@DxαC`TpαD Dpα∧@Dpα∧@Dpα∧ Tp↓D@Dp↓D@Dp↓D Dp↓D 4p↓DDp↓D4p↓C`Dp↓C@Dx↓C 4x↓C4X↓@0Xα@$X↓@0X↓@@4P↓@` P↓@`$P↓@` H↓@`4P∧B↓∧P∧Aa∀P∧AA$P∧AA∀("αbqHλD p0'BI`(↓AP⊂&A`_αi@ βA0⊂%A p ↓@I0 ∧A⊂_%↓!⊂ @I ¬↓i ¬↓I ¬↓) ¬↓ ¬↓ ∧A) βAi0 α↓ ⊂_↓I@Pα↓I`0βAλT ε¬Br_
C@U0∧U @_α∃0(α∀`00α∀@08α∀@ @α∀ 0@α∀ @αT0@α∀ _¬∀ ⊂¬∀ ⊂∧S`0_∧S` P↓S` P↓S` P↓S@0Hα∪@ Pα∪@ Pα∪@ Pα∪ 0Hα∪ 0Hα∪ 0@α∪ @0α∪` α∪ ⊂∧S _β∪$X↓R`$X↓∩`$P↓R@$P↓⊃(@h
¬C⊃λα↓!⊂⊂&Bp⊂&α@P_%C@⊂%A@(↓i _∧` ⊂%A _@I ⊂¬A*p +A_,Jp_+@jp_+@j` +↓
` *A*P *A
P *A
P_*@HT π∧α!X
B Uλ∧∀@_↓S`00↓∪`$p↓S@DpαS`TxβT dx∧SA$hα`D`α↓ DXαA@4Xα↓`4PαA`4Pαα$Pαα$Pα↓`4Pα↓`$Pα↓@4Pα↓@$Pα↓ 4Xα`4`∧∪ d("βaPxλD p0'B `(&A @ %A 0 %αi X%↓ %↓ %↓ 0 &↓@_&BI`8"Qαpλπα@@↓∀@%⊂↓∀ dx∧SA$h↓@`D`↓R`4X↓R@4P↓R@4P↓R@4Pα∩@TXαSThαS@Txα∀5λ↓∀ %↓R@0⊂↓RA∧`α⊃(Aλ ¬β⊃λ↓@`P(&↓ 08%A`⊂_↓↓ 0⊂A`0 %`⊂0α↓ ⊂↓↓ P %@ β↓ P(αA)P β↓ P β↓ P β↓ @(αA)@ β↓ @ β↓ @ β↓ 0(αA)0 β↓ @⊂βA
P *↓*@ *↓
@ )A*0 *HT βb⊃X
BUλβT@λ↓S`@⊂α∪@@ ↓S@@ ↓S @(↓S @(↓S@(α∪@(α∩`@0α∩`@0α∩`@0α∩AtPπ∩@@0α∩@@0α∩@@(α∩@00α∩@00α∩@0(α∩@0(α∩@0 α∩@0 ↓R@0_α∩@@λα∩`t`α⊃(A_εβ"⊃λα@I` '↓ P(&A P &A @(&↓ @ %A)0 α@I0 α@I (αi αi0_↓↓ 0@&↓(T
¬αaλλA @↓S@@(β∪@@_∧∪ P⊂α@$hα@4hα 4hβSt`¬∪@λβ∪@ α∩`P α↓$Xα↓ @ ↓∩`@(α↓$Xα↓ @_↓R@P0↓@@4Pα↓`tX↓α@D("¬"A0
F`P 'A*⊂ (A* )↓
()A
0 )A*@ *↓
@(*A
P *↓J08)α
⊂ A* ↓A p α↓)`(αA P(β↓ @(βA)0(∧A (¬↓ ¬A)0⊂εAλT ¬c↓HλA` H↓∀@8α∀@8α∪`P0αS`@8α∪`@8α∪`@8α∪@P0αS@@8α∪@@8α∪@@8α∪ P0α@@$hαA@@_↓∪ P(α@`$hαA`⊂↓Sp⊂β@ 4`¬@@d`α P α∪DXαR`DXα∩`DPαR@DX↓⊃(A8
¬B⊃λAa⊂⊂%Aa '↓↓ &A! &A↓(&A↓ &Ap(&↓ p &↓p &↓`(&↓P(%A @(%A@(%A0 %A⊂(%α) 8%↓(T ∧BR_
B@%_↓T`%_∧∀A%ε∪`Pλβ∪@Tpα∪ Thα∪ Dhα∪A$p¬SA4h¬S4`↓∩`4X↓∩@4P↓R@4Pα∩`TXβS↓∧h¬∪A%∧T`e(α∀0_↓T↓¬⊂αQ(AHεα⊃λα∧IQ_&¬ 0 ↓`0_%`@⊂αI ⊂α@@@⊂%@@_αJ_↓@j_↓@ip_αip_αi` αi` α↓ P αA P αA @(αA @ β↓ P⊂∧HT
∧B1HλB@e_∧∀@@⊂α∀ @ ↓T@(↓S`@0↓S`@0↓S@P(α∪@@0α∪@@0α∪@@0α∪ P(α∪ @0α∪ @(α∪ @(α∪`⊂αS↓4`α T`α∩`TXα∩`DXα∩@TPα∩`$("εba8λD px'D)a⊂&A@0(&↓ ` %A p %A↓ %↓! %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓ %↓↓ %↓p %↓` %A0(&αIP8"QβAλ D"⊂ εS!d`πR`@⊂↓R@0 ↓∩@ (↓∩@ ↓T5↓S`Dxα∪`4pα∪@Dpα∪ Thα∪@$("π"1(λD 0 ∧@I@0βA 0_A` %@@ β↓ _↓↓p_%@ (β@i ⊂↓↓↓_'↓↓_&A!⊂&A↓⊂⊂&A↓_&A↓⊂&Ap_&A`_&AP_'↓0_'B
0"Qβa(Hc0p↓⊗%@↓∃`58↓∃`%8↓∃@50↓∃@%_βT↓Dxα@ ⊂α∪ P_↓`D`αA α∪@ ↓ADXα↓ (α∩@P(↓↓ DPα↓@ (α∩@@(↓A DPα↓ (αR@@(↓↓ DPα↓ αR@@ ↓@`TXα` _αS@⊂↓ dhε∪a¬λ↓∀ %λ↓∀5↓∀%↓∀$("πbq@D 0(ε@I@8¬@i@⊂A!⊂_(↓↓_(↓ p⊂(A`_(AP_(A 0_)↓ _)↓⊂_)↓j0()A*@ )A* 8(@`⊂ (` ('@`@ '`P '@`(&@`p &a %@a⊂(@I _¬Ai ⊂εA(T ⊂εβ"_
D%P↓⊗@%H↓V %H↓⊗ %@↓V%@↓∪ @8↓↓ $`β↓ 0 α∩`0λα↓ (α∩` ⊂α↓ (α∩@0⊂α↓ 0↓R@ ⊂α@`00↓R@ ⊂α↓ 8↓S@@ ↓↓`4hαA 8↓∪ @ ↓A`$hα↓ 8↓S @ ↓↓`$hα↓ 0↓S @_↓A 4hα` α∪@Pλ↓@Txε∀!¬_↓∀`%_↓∀@5⊂↓∀@%⊂↓∀@$("λ#↓HλD @⊂π@IP_π↓ P⊂πA @_πA @⊂λ@i0_λ@i0⊂∧`p_%`p β@i ⊂∧a⊂%A_∧I ⊂∧`p_%A⊂∧I _β↓`_%↓08↓A 1 %B ⊂H&↓`08&A P("Q∧!λ ∧"⊂0¬∪AThπ∪ 0@↓S4`↓∪ λβS↓4`¬R`0λβR`$P↓R@ X↓∩@0H↓R`00αRaT`¬∪@t("λbQ8
Fa@(*Aj@_↓j0_↓A
0⊂α@j _α@j ⊂βj _α@j0⊂α↓
0_↓A P_α` &↓ @@%A`@8%@@⊂ β↓i _A`8%@ β↓ ⊂↓↓` &A P &A` &A` &AP &↓ P &↓P &↓P_&↓@ &A 'α p("Q∧B⊃∧"⊂ ∞∪#T`∂∩`q ↓∩@0⊂↓¬ $P↓@1(↓∩@ ⊂↓α@ P↓∪ 0H↓B 4h↓α@ P↓∪ H↓B@$h↓α 0H↓S @αα4h↓↓``8↓S (∧↓ Dh¬@A$h¬a$p∧↓↓∀pβ↓`d(" "↓_D!0(B
↓↓ p αi` α@iP βiP βi@(αA @ β↓ @ β↓ @ β↓ 0(αA 0(αA 0(α↓ 0(α↓ 0↓↓) X%@0(%I ⊂%I _%β)0h&β
`⊂"Q∧a ¬"⊂@β∪a4pαA4h↓S4X↓R`4P↓R@4P↓R@DPαR`dX∧S↓$p∧Tu⊂αU5 ↓∪`txβ⊃(B8
πβ⊃λαA 0&@aH&@AX&`p(α↓ @⊂βA↓⊂%@``_¬i0⊂βa@⊂%``_¬@i ⊂βa@⊂%@`⊂ε@I ⊂βA@_%`@_¬@i0_↓@A0_%A ⊂∧A @8β↓IQλ'C)pX'@ip_'↓ ` '↓ P(&A `⊂"Qλ↓(Fc0Hβ∀!%α↓Dx↓B4xα↓`Dxαα5↓α 5Xα⊗`EXα∀ p_α∪a λαS@P ∧∪ @8βS@HαR`PHαR`@PαR@PPα∩@@Xα∩@@Xα∩@@Pα∩@@Pα∩@@Hα∩@@@α∩@@8α∩`@ αS↓4pβQ(Fλ∧#1X¬↓
0()↓j _↓J⊂ ↓J ↓j ↓Ip ↓@Ip ↓ip ↓I` ↓i` ↓I` @iP@&A⊂⊂&AiP0&A)P &A P_&↓ 0(%↓A⊂%@⊂_β@iP ↓A)`P'AHT =BaAλλ@`T`βR`0⊂↓R` ⊂α∩@0⊂α∩@ _α∩@ ⊂αS@Dpα∪ Thα∪ @⊂↓∪P⊂↓∪@_↓∪@⊂↓S@λ↓S dpα⊃(G`πD#⊃λ∧A
0(@`⊂ (` '@`0 '@@@ '@@@ *↓*@ *↓
@ )A*0 )A
0 )↓* )↓
(A*⊂ %@@@ %↓ %↓⊂ %α 00"Q∂Q0F"⊂(↓S@Dh↓A`d`↓AA∀X↓A P_α∩` (α↓@DX↓↓0@α∩@0_↓B DP↓@@0Pα∩@0λ↓B`DPββDPβ` 0αR`@_α↓ DXα@@@ αSPλ↓A DX¬`TX↓ @λ∧R` λα@ dX↓@DX↓`4P↓@`$P↓@`$X↓@4X↓ 4XαS4("∨B!HβG↓`⊂,K_%∧I!⊂+A
`_+HT ?CC(
↓ th¬∪@(↓R`0@↓∩@0H↓∩@ P↓⊃(C ∧b⊃λαB P`&↓ @(%A↓ %A↓ %↓↓ %↓↓ %↓↓ %↓↓ %↓↓ %↓↓ %↓↓ %↓↓ %A↓ %A↓ &↓ @(&C p@"Qε⊂p ∧"⊂8↓∪`DP∧RA∀xα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`DPπ∩Ad("B↓⊂λD @@&β 0 αA) _∧↓) ∧↓ ∧↓ 0⊂∧A
P *↓
0 )↓
⊂_αIp α@I` α@iPh%CI x%βhT →Dα!HλAth¬∪0 αR`00αR`@0α∩`@0α∪ 8α∃ E α∃5⊂α∪@tpβU5(↓U@50α∩` Hα∩@@@α∩@@@α∩@0Hα∩@0@α∩` @α∩`@ αS↓4pβQ(C ∧c⊃λεJP_*↓
@ )A* 0(Aj⊂⊂A
_A p_↓↓ `_↓A P_α↓ P⊂αA @_αA 0_β↓ _βA !⊂%∧J@ *↓
@ *↓
@ *↓
`(βλT ~Dα!Hλ@AT`εS↓D`¬∪$`↓∪$`↓∪$`↓∪ λβ∪↓4`α↓D`↓↓`E(α∃@E0α∩` Hα∩@@@α∩@@@α∩@0Hα∩@0@α∩`08α∪0 αS!$pβQ(C0 ∧c⊃HβAIpP'↓ 0 &AP &↓ P &↓p_%A 0 %A ↓AI ↓α) @`0(%↓`P %↓@p %↓A %↓!⊂ %↓!⊂ %↓!⊂ %A↓⊂ %A↓⊂ %A↓⊂ &↓p &↓ P(&A 0('αJ8"Qεqλ FB λ↓∩b∧Xλ∩atPπR@0H↓R@ H↓R@ H↓∩@ @↓U%_↓T`%⊂↓T@5⊂↓∀ 5λ↓TEα∀5↓S`Dxα∪`Dxα∪`E↓⊃(C@λ∧C⊃HαAIPP&↓0(&`` %@a_%@a_%@a_%A` %A P_&↓@ &BI`@'α PX&↓ 8%AP0%↓p(%a⊂ %a _%a _%a _%a _%↓↓_%A @ &αi`8"Qπ⊃⊂ F"⊂(βSA∀hα`D`α↓ DXα↓`DXααDPαα DPαα DPαα@DPαα@DPαα@DPαα@DXααTXααT`α↓@dhαa∧p∧@ Dxβ@E8α∃`Dh↓↓`D`α↓@D`α↓ D`↓ATh¬∪@t("
∧R8βD`⊂(Ip_'@IP &↓ "(% (T ∀I$p8¬∧TP∩SDhα∪`$x↓T%↓⊃(BP∩I`q∞@Lp⊂3@m⊂4↓
⊂ % )"("Q¬2(∪Aa ∩RDVHα~F@↓→`68↓→`$("pH¬∧`0 &↓)0_%i ⊂%I ⊂%i0_&↓)P "Q¬P8∧BB0α∩@Th↓S@4x↓∪`$x↓∪@4h↓R@TPα⊃(Bp ∧b1_I %↓I ⊂A) ⊂↓A) ⊂αA ⊂βA ⊂∧↓) ⊂¬↓) ⊂ε↓ ⊂ε↓ ⊂¬↓) ⊂∧↓) ⊂β↓) ⊂αA ⊂↓A ⊂A) 0%↓ ⊂"Q¬q⊂ Db1↓⊗E0β∃Pλ↓∀@P_↓∀ @(↓∪`@8↓∪ P@↓∩`PP↓∩@@`↓∩@@`↓∩`PP↓∪ P@↓∪`P0↓∀ @(↓∀`@_↓∃Pλ↓∃@e@α⊗@$("∞@P@α↓⊂_%↓) (%↓)0_"Qπ0(∧β@λ↓R@TPαR@TXα∪ $h↓∪ $`↓S$X↓R@4P↓⊃(C`
π"q(@kp(.A+0(,A*p(*↓J 0(↓)`(&↓) (%↓)@('↓*()↓*@0+↓K⊂(-A+P(/A,⊂_"QπQ cPp↓⊗%8↓U`%8↓∃@50↓∃ 5(↓∃ % ↓U% ↓∀`5_↓∀@5⊂↓∀@%λ↓T %λ↓∀5↓∀$x↓S`$p↓S@$p↓∪ 4h↓∪ $`↓S$X↓R`$X↓∩@4P↓∩@$("∂C!hE _%↓)@('↓*()↓*@0+↓K⊂(-A+P(/A+p(.A+0(,A*p(*↓J 0(↓)`(&↓) (%hT ∨EαAλ α %_↓∀`%_↓∀`%⊂α∩@@ α↓DP
∩b$pε∀↓¬λβ∀↓∧xα@Dx↓A4p↓A@4h↓B4h↓α@$("⊗a0h∞G ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂A) P%αi ⊂αA ⊂αA ⊂αA ⊂αA ⊂α↓) ⊂α↓ ⊂α↓ ⊂↓A ⊂↓↓) ⊂↓↓ ⊂A 0%↓) %HT .αaR_
@$P↓∩@$P↓∩@$P↓∩@$P↓↓@4P↓`dP¬RA4P¬R@`_↓∩@00↓∩@ 8↓∩@ 8↓∩@ 8↓∩@ 8↓∩@ 8↓∩@ 8↓∩@ 8↓∩@ 8↓∩@ 8↓∩@ 8↓∩@ 0↓R@ _β∩A4P¬RA4Pβ`$P↓A@%_↓∀`%_↓∀`%_↓⊃(Eh¬C$1X∧J ⊂%@@P⊂%@@P⊂%@@P⊂%@@P⊂%@@P⊂%@@P_%@@ 0%BI X%αI 0↓I _α@I0⊂α@I0⊂α@I0⊂α@I0⊂α@I0⊂α@I0⊂α@I0⊂α@I0⊂α@I0⊂α@I0⊂α@I0⊂α@i0⊂↓↓I0P%αi P%↓@ ⊂%`P⊂%@@P⊂%@@P⊂%@@P⊂%@I0⊂"Qb(∪B!`↓λ $P↓G`4X↓G 4Xαε`D`αE`Thβ∧`dx∧αa¬Tb50εQ(Ex∩Ia⊂pεβ*1_(ε)p@¬B P0 AI@(A)0
A 0_∞@i _∂@i ⊂⊂@H←@¬B_ `/!λ↓∨3@↓∨3@α`␈␈␈␈0↓h{⊂$ε0∧?0!λ`j9%↑d_∂↓Ahoλ⎇HB_β>OP⊗`{⊃#pε≥c@;?0#ε@PCG↓∀≡d8⊂@↓SxR@⊂Y⎇Iα_β@≤82⊂{∩" βXq`r←0%εHBU ↓u≡dX∩↓eλc@ ∞⎇IAhαr≤8I@{∪%⊂λ↔G⊂↓≥∨0'λ@hD9αj≡dx⊂↓N030≡⎇J↓XαY≤8j`{∀$⊂εWi ↓`∨0)π``Ac@βe↑e_@↓!PU@@¬⎇JAHα<G⊂↓π⊂{∃#P¬b⊃⊂α~∨0+εHH∧Q≡e8∩@↓nHV⎇Kα⊂β88p↓&{⊗#⊂∧}8pαY?0-πXε≤@¬I↑fλ@↓⊂X∩XC⎇L!⊂↓iLh↓=p{_b βX∂⊂βπ?02¬@@a6ε≥↑f( v<@`p⎇La α¬*X↓Qp{→b0βmv@β.?04εHev@εu≡fHπ@↑Xmp ⎇M x↓D↓hP{~b`∧6B0β[␈06β ( =`πR↑fh∩@↓pH=@xI⎇MaPαJ @α↓`{≠bP∧∂R@∧∂␈08¬ @I⊂λ1↑gλ @yPF↓λ∃⎇N!⊂↓f/8α_@{≤b@βw∞ ∧8?0:β`0∃*` ≡g(@↓≥8Z↓⊂"⎇Na(αλq`α*@{≥c`εβG⊂∧←←0<¬`H#G ]↑gH
@↓ε8∞↓_c⎇O! ↓⎇∧`αC {β⊂¬βG⊂¬∞∨0H`p∃*`
0≡`⊂∂@↓FhA@↓(∩⎇@1Xα[G⊂αZ@{↓βP¬a*P¬A?0αH`p≡≤@↔↑`0⊂@↓R`9↓0h⎇@qHα=*Xαs{αβ@¬U*P¬q?0∧F`Py∨ ↑`P∂↓?⊂B@↓@>⎇A1Xα]k⊂β⊂{ββ∧c00ε+?0εE`H∩{ w↑`p q-@↓P↔⎇Aqλ↓\-@β(`{∧↓pαvw@εW∨0λE`H∨4
?↑a⊂ @{@r↓X3⎇B0x↓@Kpβ=⊂{¬β∧r{ π␈0
F Hu*`∞↔≡a0@↓#P @↓`W⎇Bq0α~B0βQP{εαP∧ π,?0FHV @∞m↑aP
@↓πX↑↓pβ⎇C18α+aXβf{παβ&3 πT←0∞E`H≤9∂6≡ap@↓"⊂⊃↓x⊗⎇CqPαQcHβ{ {λβ@¬G∞ λβ?0⊂F@PH&⊂-≡b⊂
↓hA@αλλ⎇D1HαDKp∧∀@{ ∧⊂εMA0λ8∨0∩E @=o⊃λ≡b0
↓hA@α⊂<⎇Dqpβ[∧*p{⊂β⊂∧{00λc←00∧ 0xq`⊃a↑gXπY8Zα_q⎇OA⊂↓b≤8∧B⊂{∨#@¬Vw@
←0?¬ @@∩;≡gxεK@rα(↓⎇F↓(α⊂∧Qp{"P∧ ,←0→¬ @@∩d≡c_
@↓λα(e⎇FA(α⊂∧ap{
"P∧ M?0≠¬ @@∪.↑c8
@↓λα8∞⎇G↓(α⊂∧v⊂{∞"P∧ x∨0∀
@↓λ∀ ≡bH∃α⊂α@≥⎇E"P∧ ¬¬⊂{
e λ@
∨0⊗β \9∀ ≡bhεK@rα@N⎇Ea(α⊂¬P{bP∧
←0≥β \9∀T≡cXεK@rαH0⎇GBλβ'∞ ¬_⊂{∂"P∧
7∨0∨λ h≤9∃∧≡cx
@↓λαP#⎇K1↓SG⊂¬({↔αβ'∞
[?0.D0N≤@∃S↑ep∃α⊂αXh⎇KrP∧ ¬?P|@α`⊃`{⎇xow{⎇x